xen/arm: vgic-v3: Build vgic-v3.c when CONFIG_HAS_GICV3 is enabled.
authorJulien Grall <julien.grall@arm.com>
Wed, 7 Dec 2016 12:33:48 +0000 (12:33 +0000)
committerStefano Stabellini <sstabellini@kernel.org>
Wed, 7 Dec 2016 22:23:05 +0000 (14:23 -0800)
commitec54b2d029b8581f89c08bd4b5f6a0f23912011e
treee0903016ac97c6c45c805fb92957acf9ab9f2c20
parentfcf39f46719f7b2ac24114467d76230c7c1de108
xen/arm: vgic-v3: Build vgic-v3.c when CONFIG_HAS_GICV3 is enabled.

The vGICv3 depends whether Xen has a host driver for GICv3, not on the
architecture (AArch64 vs AArch32).

Note CONFIG_HAS_GICV3 is enabled only when for ARM64 build, so there is
no functional change.

Signed-off-by: Julien Grall <julien.grall@arm.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
xen/arch/arm/Makefile